Proofs On Arnold Conjectures
نویسنده
چکیده
In this article, we give proofs on the Arnold Lagrangian intersection conjecture on the cotangent bundles, Arnold-Givental Lagrangian intersection conjecture, the Arnold fixed point conjecture.
منابع مشابه
On Some Dynamical Systems in Finite Fields and Residue Rings
We use character sums to confirm several recent conjectures of V. I. Arnold on the uniformity of distribution properties of a certain dynamical system in a finite field. On the other hand, we show that some conjectures are wrong. We also analyze several other conjectures of V. I. Arnold related to the orbit length of similar dynamical systems in residue rings and outline possible ways to prove ...
متن کاملSearch for faster and shorter proofs using machine generated lemmas
When we have a set of conjectures formulated in a common language and proved from a common set of axioms using an automated theorem prover, it is often possible to automatically construct lemmas that can be used to prove the conjectures in a shorter time and/or with shorter proofs. We have implemented a system that repeatedly tries to improve the set of assumptions for proofs of given conjectur...
متن کاملExponents for B-stable Ideals
Let G be a simple algebraic group over the complex numbers containing a Borel subgroup B. Given a B-stable ideal I in the nilradical of the Lie algebra of B, we define natural numbers m1,m2, . . . ,mk which we call ideal exponents. We then propose two conjectures where these exponents arise, proving these conjectures in types An, Bn, Cn and some other types. When I = 0, we recover the usual exp...
متن کاملPsychological Validity of Schematic Proofs
Schematic proofs are functions which can produce a proof of a proposition for each value of their parameters. A schematic proof can be constructed by abstracting a general pattern of proof from several examples of a family of proofs. In this paper we examine several interesting aspects of the use of schematic proofs in mathematics. Furthermore, we pose several conjectures about the psychologica...
متن کاملProofs of Conjectures of Sandon and Zanello on Colored Partition Identities
In a recent systematic study, C. Sandon and F. Zanello offered 30 conjectured identities for partitions. As a consequence of their study of partition identities arising from Ramanujan’s formulas for multipliers in the theory of modular equations, the present authors in an earlier paper proved three of these conjectures. In this paper, we provide proofs for the remaining 27 conjectures of Sandon...
متن کامل